Type Specialization in Aldor
نویسندگان
چکیده
Computer algebra in scientific computation squarely faces the dilemma of natural mathematical expression versus efficiency. While higher-order programming constructs and parametric polymorphism provide a natural and expressive language for mathematical abstractions, they can come at a considerable cost. We investigate how deeply nested type constructions may be optimized to achieve performance similar to that of hand-tuned code written in lower-level languages.
منابع مشابه
From Untyped to Polymorphically Typed Objects in Mathematical Web Services
OpenMath is a widely recognised approach to the semantic markup of mathematics that is often used for communication between OpenMath compliant systems. The Aldor language has a sophisticated category-based type system that was specifically developed for the purpose of modelling mathematical structures, while the system itself supports the creation of small-footprint applications suitable for de...
متن کاملAdding the axioms to Axiom Towards a system of automated reasoning in Aldor
A number of combinations of theorem proving and computer algebra systems have been proposed; in this paper we describe another, namely a way to incorporate a logic in the computer algebra system Axiom. We examine the type system of Aldor { the Axiom Library Compiler { and show that with some modiications we can use the dependent types of the system to model a logic, under the Curry-Howard isomo...
متن کاملA Framework for Using Aldor Libraries with Maple
This paper examines what is required to use Aldor libraries to extend Maple in an effective and natural way. This represents a non-traditional approach to structuring computer algebra software: using an efficient, compiled language, designed for writing large complex mathematical libraries together with a top-level system based on userinterface priorities and ease of scripting. Our method invol...
متن کاملParallelism and Aldor: a Rst Report of It
We describe the implementation of , a library for parallel computations in Aldor. In the poster, both design and experimentations on linear algebra examples are presented.
متن کامل